Robotp names a function, with lambda list (USER):
Is USER a robot?
USER may be a robot or a Toot that is controlled by a robot.
Defined in file src/characters/robots.lisp.